home *** CD-ROM | disk | FTP | other *** search
-
- ****************************************************************************
-
- > BEDIENUNGSANLEITUNG: 'EXTENDER.PRG' V 1.0 /92 <
-
- Dieses kleine Programm dient zur schnellen Änderung von Datei-Endungen.
- Effektiv anwendbar ist 'EXTENDER' jedoch nur bei größeren Datei Ansamm-
- lungen.
-
- ****************************************************************************
-
- Zur Anwendung:
-
- - Alle Dateien dessen Endungen geändert werden sollen, müssen sich in
- einem Ordner befinden. Dieser Ordner darf sich nicht in einem weiteren
- Ordner befinden!
-
- - Den Schreibschutz von der Diskette entfernen, auf welcher sich dieser
- Ordner befindet und dann das Programm starten.
-
- Das Programm benötigt nun vor der Ausführung folgende Angaben:
- (..zum eingeben der Werte, mit der linken Maustaste auf die entsprech-
- ende Eingabezeile klicken und dann die Tastatur benutzen...)
-
-
- 1. In Laufwerk: Hier das Laufwerk angeben, in welchem sich
- die Diskette mit dem oben erwähnten Ordner
- befindet.
-
- 2. Aus Ordner: Hier den Namen des oben erwähnten Ordners eingeben.
-
- 3. Mit Endung: Hier den zu ändernden Endungs-Type eingeben.
-
- 4. In Endung: Hier den neuen Endungs-Type eingeben.
-
-
- Wenn alle Eingaben korrekt sind, kann's los gehen!
- Atari-Taste: 'S' startet die Ausführung,
- 'H' stopt die Ausführung,
- 'F' erlaubt einen Blick auf den Disk-Inhalt,
- (dient also nur zu Information)
- 'E' beendet das Programm.
-
- Nach einem Tastendruck auf 'S' durchsucht das Programm den betreffenden
- Ordner nach Dateien, dessen Endungen identisch sind mit dem Eintrag von:
- 'Mit Endung:'. Bei allen gefundenen Dateien werden nun dessen Endungen
- so geändert, das sie den Eintrag von: 'In Endung:' erhalten.
-
- Das war's!
-
- P.s
- 'EXTENDER.PRG' darf gnadenlos kopiert und weitergereicht werden.
-
- Klaus Reichel
-